Abstract acceleration in linear relation analysis

LIFL , University of Lille , France and University of Oxford , UK

Acceleration in Linear Relation Analysis (extended version) ha l-0 07 87 21 2, v er si on 1 11 F eb 2 01 3 Gonnord & Schrammel Abstract Acceleration in LRA (extended version) Abstract Linear relation analysis is a classical abstract interpretation based on an over-approximation of reachable numerical states of a program by convex polyhedra. Since it works with a lattice of infinite height, it m...

Abstract Acceleration in Linear relation analysis (extended version)

Acceleration in Linear relation analysis (extended version) Laure Gonnord, Peter Schrammel To cite this version: Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear relation analysis (extended version). 2013. HAL Id: hal-00787212 https://hal.archives-ouvertes.fr/hal-00787212 Submitted on 11 Feb 2013 HAL is a multi-disciplinary open access archive for the deposit and d...

Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires. (Abstract Acceleration to improve precision in Linear Relation Analysis)

Acceleration-Based Quality Assessment of Railway Tracks using a 2D simulation model and recorded track data

Car body acceleration is an important factor affecting track safety and ride comfort, which are two primary aspects of railway systems. Though track level is an important source of wagon body acceleration, no quantitative relation between them is available and the aim of this paper is to propose a method to address this issue. To do so, car body acceleration is determined using a 10 DOF simulat...

CHEBYSHEV ACCELERATION TECHNIQUE FOR SOLVING FUZZY LINEAR SYSTEM

In this paper, Chebyshev acceleration technique is used to solve the fuzzy linear system (FLS). This method is discussed in details and followed by summary of some other acceleration techniques. Moreover, we show that in some situations that the methods such as Jacobi, Gauss-Sidel, SOR and conjugate gradient is divergent, our proposed method is applicable and the acquired results are illustrate...